TSTP Solution File: ALG254^2 by SRASS---0.1